Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
61	Model structures and their applications GRK 1150 PhD-seminar In the past the language of model categories has been an enormously helpful tool to describe phenomena in homotopy theory, and in this seminar we would like to Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2005-11-23 11:13:14 Abstract algebra Algebra Homotopy theory Mathematics Model category Cohomology Douglas Ravenel Highly structured ring spectrum Bousfield localization Rational homotopy theory Homotopy category Derived category
62	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
63	MODEL CATEGORIES OF DIAGRAM SPECTRA M. A. MANDELL, J. P. MAY, S. SCHWEDE and B. SHIPLEY [Received 24 May 1999; revised 5 JanuaryContents Part I. Diagram spaces and diagram spectra . Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:32 Algebra Mathematics Abstract algebra Homotopy theory Algebraic topology Category theory Functors Monoidal categories Highly structured ring spectrum Model category Symmetric spectrum Commutative ring spectrum
64	AG-SEMINAR WS: ∞-CATEGORIES AND THEIR APPLICATIONS MORITZ GROTH AND GEORGIOS RAPTIS The aim of higher category theory is to develop a theory of ‘categories with morphisms of arbitrarily high dimension’ that Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2011-10-16 11:41:31 Algebra Mathematics Abstract algebra Category theory Homotopy theory Homological algebra Functors Algebraic geometry Model category Simplicial set Andr Joyal Higher category theory
65	393 Documenta Math. Slices and Transfers Marc Levine1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:34 Mathematics Algebra Abstract algebra Homotopy theory Spectrum Homotopy category Triangulated category Homotopy Representable functor Motive Model category Simplicial presheaf
66	WELL-POSEDNESS OF THE PERIDYNAMIC MODEL WITH LIPSCHITZ CONTINUOUS PAIRWISE FORCE FUNCTION∗ ETIENNE EMMRICH† AND DIMITRI PUHST‡ Abstract. Peridynamics is a nonlocal theory of continuum mechanics based on a, in gener Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2013-03-13 10:39:03 Mathematical analysis Mathematics Analysis Lipschitz continuity Continuous function Limit of a function Vector field Equicontinuity Modulus of continuity Differential forms on a Riemann surface
67	A curve and its abstract Jacobian Boris Zilber University of Oxford August 22, 2012 Abstract Let C(K) be the K-points of a smooth projective curve C of genus Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2012-08-22 07:02:47 Mathematics Algebra Abstract algebra Model theory Algebraic varieties Functions and mappings Algebraic curves Morphism of algebraic varieties Interpretation Elliptic curve Divisor Strongly minimal theory
68	Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte Add to Reading List Source URL: fi.ort.edu.uy Language: English Metalogic Model theory Dynamical system Philosophy Logic Abstraction
69	Geometric stability and Zariski geometries B. Zilber University of Oxford July 28, 2010 Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-07-28 11:56:46 Mathematics Algebra Abstract algebra Model theory General topology Scheme theory Algebraic varieties Mathematical structures Zariski topology Topological space Structure Algebraic geometry
70	Collective Entity Resolution In Relational Data Indrajit Bhattacharya and Lise Getoor Department of Computer Science University of Maryland, College Park, MD 20742, USA Abstract An important aspect of maintaining informa Add to Reading List Source URL: drona.csa.iisc.ernet.in Language: English - Date: 2006-11-05 17:03:08 Computing Data management Data Data modeling Database theory Entityrelationship model Data model Record linkage Cluster analysis Reference table Database Associative entity

UPDATE